Linear Algebra Methods for the Transformation of Grr Obner Bases Linear Algebra Methods for the Transformation of Grr Obner Bases
نویسندگان
چکیده
A solution to the problem of converting a Grr obner basis between different orderings for a given ideal is known for the zero-dimensional case. We show how to solve this problem for one-dimensional ideals in two variables by using the same linear algebra techniques that are exploited in the existing algorithm. For ideals in more than two variables we describe two other known approaches that also use linear algebra.
منابع مشابه
Monomial Representations for Grr Obner Bases Computations
Monomial representations and operations for Grr obner bases computations are investigated from an implementation point of view. The technique of vectorized monomial operations is introduced and it is shown how it expedites computations of Grr obner bases. Furthermore, a rank-based monomial representation and comparison technique is examined and it is concluded that this technique does not yield...
متن کاملGrr Obner Bases in Type Theory
We describe how the theory of Grr obner bases, an important part of computational algebra, can be developed within Martin-LL of's type theory. In particular, we aim for an integrated development of the algorithms for computing Grr obner bases: we want to prove, constructively in type theory, the existence of Grr obner bases and from such proofs extract the algorithms. Our main contribution is a...
متن کاملOn Some Basic Applications of Grr Obner Bases in Non-commutative Polynomial Rings
In this paper we generalize some basic applications of Grr obner bases in commutative polynomial rings to the non-commutative case. We deene a non-commutative elimination order. Methods of nding the intersection of two ideals are given. If both the ideals are monomial we deduce a nitely written basis for their intersection. We nd the kernel of a homomorphism, and decide membership of the image....
متن کاملNoncommutative Grr Obner Bases. a Computational and Theoretical Tool
Overview These notes consists of ve lectures. Each lecture covers the material that I will present with fuller details and exercises. I have also included some material in appendices which the reader might nd interesting but which I will not have time to cover in my lectures. Lecture 1 introduces both linear Grr obner bases and Grr obner bases for algebras. Lecture 2 surveys some of the basis a...
متن کاملExponential space computation of Gröbner bases Klaus Kühnle
Given a polynomial ideal and a term order, there is a unique reduced Grr obner basis and, for each polynomial, a unique normal form, namely the smallest (w.r.t. the term order) polynomial in the same coset. We consider the problem of nding this normal form for any given polynomial, without prior computation of the Grr obner basis. This is done by transforming a representation of the normal form...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995